- конъюнкция множеств
- n
IT. intersection d'ensembles
Dictionnaire russe-français universel. 2013.
Dictionnaire russe-français universel. 2013.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Алгебра кортежей — Алгебра кортежей математическая система моделирования и анализа многоместных отношений. Содержание 1 Использование термина 2 Определение 3 На чем … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
АЛГОРИТМ ЛОКАЛЬНЫЙ — алгоритм, устанавливающий свойства элементов множества и использующий на каждом шаге при этом только информацию об окрестности элемента. В терминах А. л. естественно формулируются и решаются задачи о существовании или несуществовании эффективных… … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Множество — У этого термина существуют и другие значения, см. Множество (значения). Запрос «Целое» перенаправляется сюда; о типе данных в программировании см. Целое (тип данных). Множество одно из ключевых понятий математики, в частности, теории… … Википедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
Таблица математических символов — В математике повсеместно используются символы для упрощения и сокращения текста. Ниже приведён список наиболее часто встречающихся математических обозначений, соответствующие команды в TeXе, объяснения и примеры использования. Кроме указанных… … Википедия
Математические символы — В математике повсеместно используются символы для упрощения и сокращения текста. Ниже приведён список наиболее часто встречающихся математических обозначений, соответствующие команды в Кроме указанных символов, иногда используются их зеркальные… … Википедия
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия